home *** CD-ROM | disk | FTP | other *** search
- Frequently Asked Questions (FAQS);faqs.443
-
-
-
- HyperProlog. See Delphia Prolog.
-
- IBM PROLOG for AIX/6000 (PFA) is a high performance implementation of
- the PROLOG language, combined with a powerful programming environment,
- especially designed for the IBM RISC System/6000 under AIX. PFA was
- developed by BIM as an adaptation of ProLog by BIM for the IBM RISC
- System/6000 under AIX. It was selected by IBM Europe as their
- official PROLOG implementation for the RISC System/6000 (Program
- Number 5776-FAH). For more information: In North-America contact BIM
- systems, 11111 Santa Monica Bld, call 310-445-1500, fax to
- +310-445-1515; in Europe contact your local IBM representative.
- Elsewhere contact BIM, Kwikstraat 4, B-3078 Everberg, Belgium, call
- +32 2 759 59 25, or fax +32 2 759 92 09, or email prolog@sunbim.be.
-
- IF/Prolog is a Prolog interpreter and compiler with X-window and
- OSF/Motif development environment, bidirectional C interface, on-line
- hypertext manual, and X-window, OSF/Motif interfaces and various SQl
- interfaces. It runs on Apollo, Aviion 300, Macintosh (A/UX), microVAX
- 2000 (Ultrix), Vax (Ultrix, VMS), VaxStation (Ultrix), DEC Alpha
- (OSF/1, VMS), HP9000, Sun3, Sun4, Sparc, UTS, AIX/370, IBM RS/6000,
- Decstation (Ultrix, OSF/1), Sequent S16, Silicon Graphics, Sony News
- (Unix), Motorola, Nixdorf, Interactive Unix, SCO UNIX, DOS-based 386
- PCs, and Windows 3.0/3.1. For more information, write to American
- InterFace Computer, Inc., One Westlake Plaza, 1705 Capital of Texas
- Highway South, Suite 200, Austin, TX 78746, call 512-327-5344, or fax
- 512-327-5176, or e-mail ifc@cactus.org. European Customers may write
- to InterFace Computer GmbH, Garmischer Strasse 4, D-8000 Muenchen 2,
- Germany, call +49 89 5108655, fax +49 89 5108628, or email
- vp@IFComputer.de. Reviewed in AI Expert January 1991.
-
- IQSOFT MProlog is a high-level emulator with interpreter for Unix,
- Macintosh and IBM PC. Runs on Vax (Unix 4.2 BSD), 68000-based machines
- (Unix), Tektronix 4404, HP3000, and Siemens 1. For more information,
- write to IQSOFT, SZKI Intelligent Software Ltd., Iskola u. 10.,
- Budapest, H-1011, Hungary, call +36 1 201 6764, fax +36 1 201 7125, or
- send email to szeredi@iqsoft.hu.
-
- LPA Prolog is a prolog compiler for IBM PCs (DOS, Windows) and Apple
- Macintosh. LPA Prolog ++ is an object-oriented programming system
- based on Prolog. Write to Logic Programming Associates, Ltd., Studio
- 4 Royal Victoria Patriotic Building, Trinity Road, London SW18 3SX,
- England, call +44 081-871-2016, fax +44 081-874-0449, or email
- lpa@cix.compulink.co.uk or UK0049@applelink.apple.com (Clive Spenser).
- LPA products are distributed in North America by Quintus under the
- Quintus name.
-
- MU-Prolog, NU-Prolog are prolog interpreters from the University of
- Melbourne. Source licences are available for educational institutions.
- Implemented in C for BSD Unix. Currently running on Sun3, Sun4, Vax,
- Elxsi, Encore, and SGI. For more information, write to University of
- Melbourne, MU-Prolog Distribution, Department of Computer Science,
- Parkville, Victoria 3052, Australia, call +61 3 344 7270, or send email to
- jas@cs.mu.oz.au and jws@cs.mu.oz.au.
-
- OU Prolog is a prolog interpreter from Open University for IBM PC
- (MS-DOS). Includes video, books. Ask for item PD622 and quote
- reference SA69. For more information, write to Open University,
- Learning Materials Sales Office, PO Box 188, Milton Keynes MK7 6DH, UK.
-
- PDC Prolog runs on IBM PCs (DOS, OS/2, Windows and SCO Unix). Formerly
- known as Turbo Prolog from Borland. Includes a native code compiler
- but is incompatible with most other prologs. Its variables are
- strongly typed, unlike most other prologs. For more information, write
- Prolog Development Center, 568 14th Street, Atlanta, GA 30318, call
- 800-762-2710, (404-873-1366), fax 404-872-5243 or email
- pdc-request@pdc.dk (general information), sales@pdc.dk (sales),
- support@pdc.dk (tech support). A BBS is run at 404-872-5358. European
- customers may write to Prolog Development Center, A/S, Hj Holst Vej
- 5A, DK-2605 Broendby, Denmark, call +45 36 72 10 22, or fax +45 36 72
- 02 69. Reviewed in AI Expert January 1991.
-
- POPLOG is a high-level prolog emulator with interpreter. The POPLOG
- environment integrates four AI programming languages in one
- environment: Lisp, Prolog, ML and POP11. POPLOG can also load in C and
- Fortran binaries. Runs on VAX (Ultrix, VMS), VAXStation (Ultrix),
- DECStation (Ultrix), Sun 3,4, Sparc, Solbourne, HP Apollo 9000/400,
- Sparc (HP-UX), MIPS (RISCOS), Sequent Symmetry (Dynix), Apple
- Macintosh (AUX), SONY News (News-OS), and Silicon Graphics Iris
- (Irix). The academic version from Sussex University. For more
- information, write to POPLOG, Sussex University, Poplog Manager,
- School of Cognitive Sciences, Falmer, Brighton BN1 9QN, UK, call +44
- 273 608367, fax +44 273 678188, or send email to
- popmanager@cogs.sussex.ac.uk. The commercial version is available
- from Integral Solutions Ltd as Integral Poplog and Pop++. For more
- information, write to Integral Solutions Ltd, Unit 3, 23 Campbell
- Court, Bramley, Basingstoke Hampshire RG26 5EG, UK, call +44 256 88 20
- 28, fax +44 256 88 21 82, or send email to isl@integ.uucp or
- isl@integ.co.uk. The North American retailer is Computable
- Functions Inc. For more informatin, write to Computable Functions Inc.,
- 35 S. Orchard Drive, Amherst, MA 01002, call 413-545-3140, or fax
- 413-545-3140. Contact Robin Popplestone, pop@cs.umass.edu, for info
- on a new book on Pop-11.
-
- Prolog III integrates constraint programming with Prolog. It runs on
- Apple Macintosh, IBM PC (386, MS-DOS), Next, Sun3, Sun4, Sparc, HP9000,
- Apollo, RS/6000, Bull DPX, Masscomp (Unix), Vax (Ultrix, VMS),
- DecStation and MicroVAX. For more information, write to PrologIA,
- Parc Technologique de Luminy, Case 919, 13288 Marseilles, France,
- call 33-91-26-86-36 or fax 33-91-41-96-37. The US point of contact
- for Prolog III by PrologIA is BIM Systems, Inc..
-
- Prolog-86 is available from Solution Systems Inc. For more
- information, write to Solution Systems Inc., 335-D Washington Street,
- Norwell, MA 02061, call 617-337-6963, or fax 617-431-8419.
-
- Quintec Prolog is a high-level emulator with interpreter for IBM PC
- (MS-DOS), Vax, VAXstation (Ultrix, VMS), Decstation (Ultrix), and
- Sparc (SunOS4.0). For more information, write to Quintec Prolog,
- Quintec Systems Ltd., Midland House, West Way, Botley, Oxford OS2 0PL,
- UK, call +44 865 791565, or fax +44 865 791595.
-
- Quintus Prolog is a low level emulator that runs on Unix (Sparc, sun2,
- sun3, sun4, 386i, VAX (Ultrix, VMS), uVAX (Ultrix), HP9000, Apollo,
- DecStation, IBM RT, Sequent S/27, S/81, IBM PS/2 (AIX), Intel 80386
- (Unix V.3), Intergraph, Solbourne, RS/6000, and MIPS), IBM PC (DOS,
- Windows), and Macintosh. Includes a cross-referencing facility. For
- more information, contact Quintus Corporation, 2100 Geng Road, Palo
- Alto, CA 94303, call 1-800-542-1283 (415-813-3800), fax 415-494-7608,
- or email sales@quintus.com (sales), teksup@quintus.com (tech support).
- To be added to the users group mailing list, send mail to
- quintus-users-request@quintus.com. Version 3.0 reviewed in AI Expert
- January 1991 and February 1991 and IEEE Expert April 1991. LPA
- products are distributed in North America by Quintus under the Quintus name.
-
- SICStus Prolog is a Unix prolog by SICS. It is portable to most UNIX
- machines (Berkeley UNIX is preferred over System V). SICS Aurora and
- Echo is a parallel emulator for Sequent Balance, Sequent Symmetry,
- Encore Multimax, and BBN Butterfly (Unix). For more information, write
- to SICS, Swedish Institute of Computer Science, P.O. Box 1263, S-164
- 28 KISTA, Sweden, call +46 8 752 15 02, fax +46 8 751 72 30, or send
- email to sicstus_request@sics.se. Bug reports and tech support questions
- should be sent to sicstus-bug@sics.se. To subscribe to the users group
- and implementors mailing list, send email to sicstus-users-request@sics.se.
-
- SNI Prolog Version 3 is an implementation of the Prolog language that
- is compatible with the ISO Standard draft. It is available from
- Siemens Nixdorf for Unix workstations for about DM 11100 in Germany.
- SNI Prolog runs on the SGI, SNI and Sun platforms, and ports to other
- systems, including MS-DOS, are in progress. Includes coroutines,
- finite domains, numerical and boolean constraints, garbage collection,
- incremental compilation, dynamic linking, hypertext style on-line
- help, a window environment with an integrated editor, interfaces to
- INFORMIX, Motif/XWindows and C. The constraint programming features of
- SNI Prolog provide support for solving problems from operations
- research such as dynamic resource allocation and flexible scheduling
- with numerical constraints or the verification of complex systems with
- Boolean constraints. For more information, write to Siemens Nixdorf
- Informationssysteme AG, Otto-Hahn-Ring 6, D-8000 Munich 83, Germany,
- Attn: Hans-Juergen Stenger, Systems Planning, call +49 89 636 44049,
- fax +49 89 636 41208, or send email to stenger@sd235-hera.zfe.siemens.de.
-
- SPIES YAP is a high-level emulator with interpreter for Sun3, Sun4,
- VAXstation, SGI, HP9000, Apple Macintosh and Amiga (Atari ST). For
- more information, write to SPIES, Sociedade Portuguesa de, Importacao
- e Exportacao de Software, Lda Av da Republica, 46 - 2, 1000 Lisboa,
- Portugal, call +351 1 795075, or fax +351 1 775891.
-
- Turbo Prolog. See PDC Prolog.
-
- Parallel Prologs:
-
- Densitron CS Prolog is a parallel prolog compiler and interpreter for
- IBM PCs (MS-DOS or OS/2), T414/T800 transputer (mono or multi), 386
- (Unix V), uVAX (VMS), or VAX(VMS). Also standard Prolog for MS-DOS,
- UNIX and VAX. For more information, write to Densitron, Unit 4,
- Aiport Trading Estate, Biggin Hill, Kent, TN16 3BW, UK, call +44 959
- 76331, or fax +44 959 71017.
-
- Paralogic is a parallel implementation of the Clocksin and Mellish
- Prolog. It runs on DOS-based PCs or Apple Macintoshes with the INMOS
- Transputers. For more information, write to Paralogic Inc., 115
- Research Drive, Bethlehem, PA 18015, call 215-861-6960, fax
- 215-861-8247 or email plogic@lehi3b15.csee.Lehigh.edu. It is also
- distributed by Computer Systems Architects, 905 N. University Avenue,
- Provo, UT 84604-3422, 800-753-4272 (801-374-2300), fax 801-374-2306.
- British customers may contact Parallel Logic Programming Ltd., PO Box
- 49, Twickenham, Middlesex TW2 5PH, UK or call +44 454 201 652.
-
- PARLOG is a parallel emulator from Imperial College for the Sequent
- Balance, Sequent Symmetry, Encore Multimax, Alliant FX (Unix), Sun
- (Unix, 1 processor). For more information, write to Imperial College,
- Department of Computing, Parlog Distribution Secretary, 180 Queen's
- Gate, London SW7 2BZ, UK, call +44 71 589 5111 x7537, fax +44 71 589
- 8024, or send email to parlog@doc.ic.ac.uk. Imperial College also
- used to produce IC Prolog.
-
- Strand-88 is a parallel emulator for Sun3, Sun4, Sparc BBN Butterfly,
- GPT2000, Cogent Multimax, Intel iPSC/2, iPSC/860, MIPS RiscStation,
- Sequent Symmetry Balance (Unix System V or Mach, Helios) and
- communication component from CSTools, Express in some cases. Also
- Transputer systems PC hosted systems from Paracom, Telmat and others,
- Unix hosted systems from Meiko, Paracom, Telmat and others, Apple
- Macintosh, Atari ATW, and NeXT. Price dependent on configuration and
- scale of target machine. For more information, write to Strand
- Software Technologies Ltd., Ver House, London Rd, Markyate, Herts AL3
- 8JP, UK, call +44 582 842424, fax +44 582 840282, or send email to
- strand88@sstl.uucp.
-
- SICS Aurora and Echo. See SICStus Prolog above.
-
- Object Oriented Systems:
-
- LAP is an object-oriented system by Elsa. For more information, write
- to Elsa Software, La Grange Dame Rose, 6 ave du Marechal Juin, 92366
- Meudon-La-Foret Cedex, France, call +33 (1) 46 30 24 55, fax +33 (1)
- 46 30 55 26, or send email to elsa!lap@uunet.uu.net.
-
- SPIRAL is an object oriented system by CRIL for Sun3 and Sun4 under
- Unix. For more information, write to CRIL, Conception et Realisation,
- Industriel de Logiciel, 146 bd de Valmy 92707, Colombes Cedex, France,
- call +33 1 47 69 53 67, or fax +33 1 47 69 53 99.
-
- Constraint Systems:
-
- CLP(R) is a constraint system from Monash University for VAX, Sun, and
- Pyramid (Unix). Costs $150. For more information, write to Monash
- University, CLP(R) Distribution, Department of Computer Science,
- Clayton, Victoria 3168, Australia, or send email to
- clp@moncsbruce.oz.au.
-
- Trilogy is a constraint system developed by Complete Logic Systems. It
- costs $100. For more information, write to Complete Logic Systems, Inc,
- 741 Blueridge Avenue, V7R 2J5, North Vancouver BC, Canada, or call
- 604-986-3234.
-
- VS Trilogy is a Prolog compiler available from Vertical Software for
- $395. For more information, write to Vertical Software Ltd., 14-636
- Clyde Ave, W. Vancouver, BC, V7T 1E1, Canada, call 604-925-0321, or fax
- 604-688-8479.
-
- ----------------------------------------------------------------
- Subject: [4] FTP Archives and Other Resources
-
- The following are achives that contain Prolog-related material, such as
- code, interpreters, articles, etc. Most of the archives are ftp sites.
- They are listed by domain.name and [IP Address]. To access them and
- download programs type at the prompt:
-
- ftp <site name> (or IP address)
- login: "anonymous",
- password: your own return email address,
- cd <directory>, ls to see files,
- set binary,
- get <filename> to transfer file to your system
- stop with quit or exit
-
- Deviations from this general scheme may occur but the above should
- work in most cases.
-
-
- Artificial Intelligence Programs:
- aisun1.ai.uga.edu [128.192.12.9]
-
- Contains public domain Prologs, such as Open Prolog and ESL PD Prolog,
- all programs from the book by Covington, Nute, and Vellino, (see
- the section on Books below) and some technical reports with
- accompanying code. Maintained by Michael Covington, the University
- of Georgia, mcovingt@aisun1.ai.uga.edu.
-
-
- ALP-UK Library:
-
- The best Prolog library currently is the one collected by the ALP-UK
- group. It is available to members at 30 pounds sterling for a Sun
- cartridge or 2 pounds/IBM DOS disk. (non-members maybe, how much?) It
- contains MBs of Prolog systems (including SB Prolog), libraries
- (including the Edinburgh library), benchmarks, grammars, theorem provers,
- object and graphics systems etc. For more information, write to ALP-UK
- Library, Sanjay Raina, Librarian, Dept. of Computer Science, University
- of Bristol, University Walk, Bristol BS8 1TR, UK, call +44 0272 303030
- x3304, or send email to raina@compsci.bristol.ac.uk.
-
-
- Logic Programming Bibliographies:
- duck.dfki.uni-sb.de [134.96.188.92]
-
- The BiBTeX bibliographies are available in /pub/lp-proceedings.
-
-
- Prolog Repository:
-
- Established by Jocelyn Paine of Experimental Psychology, Oxford
- University in 1987. The current catalogue (January 1991) contains
- 30 entries. For catalogue, queries and contributions contact POPX at:
- popx%vax.ox.ac.uk@oxmail.ox.ac.uk (internet) or
- popx@uk.ac.ox.vax (janet)
-
- FTP access is available through the Imperial College archive at
- src.doc.ic.ac.uk (146.169.2.1)
- in the directory
- computing/programming/languages/prolog/pd-software
- with a short-cut link of:
- packages/prolog-pd-software
- To access it, cd to either of the above directories via
- anonymous ftp. The file README gives a brief summary of the
- contents of the directory and CATALOGUE gives a (long!)
- description of each entry. Entries include the Logic Programming
- Tutor from Paine's book, the DEC-10 public-domain library, the
- Linger natural-language corrector, a simple object-oriented
- add-on for Prolog, graph utilities, among other things.
-
- Files in the archive are also available on MS-DOS floppies for a
- nominal fee to cover the cost of floppies, postage, and packing.
-
- Machine Learning Algorithms Implemented in Prolog:
-
- In 1988 the Special Interest Group on Machine Learning of the German
- Society for Computer Science (GI e.V) decided to establish a library
- of PROLOG implementations of Machine Learning algorithms. The library
- includes PROLOG implementations of Winston's arch, Becker's AQ-PROLOG,
- Fisher's COBWEB, Brazdil's generation of discriminations from derivation
- trees, Quinlan's ID3, inverse resolution, and Mitchell's version
- spaces algorithm. The programs are available via the anonymous
- ftp-server at the University of Osnabrueck:
- dione.rz.uni-osnabrueck.de:pub/unix/mlp (131.173.128.15)
-
- Send additional PROLOG implementations of Machine Learning Algorithms
- to Thomas Hoppe, <hoppet@cs.tu-berlin.de>. Send suggestions and
- complaints about the ftp library to Werner Emde, University of
- Osnabrueck, <emde@gmdzi.gmd.de>.
-
-
- Prolog to SQL Compiler:
-
- The Prolog to SQL Compiler translates database access requests,
- which consist of a projection term and a database goal, to the
- appropriate SQL query. The compiler is written in standard Edinburgh
- Prolog and has been ported to a number of Prologs. The code posted to
- comp.lang.prolog works in ECRC's SEPIA Prolog, but should be easily
- ported to other Prologs. A detailed tech report on the implementation
- is available by email from draxler@sun1.cis.uni-muenchen.de (include
- your full postal address). The compiler is copyright, but may be used
- free of charge for non-commercial purposes and redistributed provided
- the copyright notice is retained intact.
-
- PSI:
-
- PSI is a handy system for the management and retrieval of your
- personal data, be it addresses, CD collections, or bibliographic
- references. It is intended for the non-commercial user. It may not be
- as full-fledged as some data-base systems, but has some features that
- you won't find in most commercial systems. Also, you may find it
- easier to set up and faster to use. PSI is useful for a broad range of
- data. Indexing with descriptors makes searching for the data you need
- fast, and the interface to other data-base formats (import and export)
- is quite powerful. PSI was written in LPA MacProlog and is a "genuine
- 'double clickable' Mac application". PSI runs on all Macs with System
- 6 or 7 in 1MB of main memory. As LPA MacProlog isn't yet 32-bit clean,
- PSI isn't either. Extensive documentation and some examples are
- included. PSI is available by anonymous ftp from
- sumex-aim.stanford.edu, directory info-mac/app, file psi-23.hqx. It
- was also available on a recent Nautilus CD-ROM and will be on the
- first Info-Mac CD-ROM.
-
- XWIP:
- export.lcs.mit.edu:/contrib/xwip.tar.Z
- ftp.uu.net:X/contrib/xwip.tar.Z
-
- XWIP is an X Windows interface for PROLOG.
-
- ----------------------------------------------------------------
- Subject: [5] Mailing Lists
-
- Prolog and Logic Programming:
- prolog@sushi.stanford.edu (general)
- prolog-hackers@sushi.stanford.edu (nitty gritty)
-
- All requests to be added to or deleted from this list, problems,
- questions, etc., should be sent to prolog-request@sushi.stanford.edu
-
- Concurrent Logic Programming:
- clp.x@xerox.com
-
- All requests to be added to or deleted from this list, problems,
- questions, etc., should be sent to clp-request.x@xerox.com or to
- Jacob Levy <jlevy.pa@xerox.com>.
-
- ----------------------------------------------------------------
- Subject: [6] Books and Magazine Articles
-
- A BiBTeX bibliography of Logic Programming Conferences is available by
- anonymous ftp from duck.dfki.uni-sb.de. See [4] above.
-
- The following books are regarded as popular and widely used. Also
- included are some books about WAM. This is not intended to be a complete
- Prolog bibliography.
-
- Hassan Ait-Kaci. Warren's Abstract Machine: A Tutorial Reconstruction.
- MIT Press, Cambridge, MA. 1991.
- ISBN: 0-262-51058-8 (paper), 0-262-01123-9 (cloth).
-
- Bratko, Ivan, "Programming in Prolog for Artificial Intelligence",
- 2nd Ed, Addison-Wesley, 1990
-
- Campbell, J.A. (ed): "Implementations of Prolog", John Wiley, 1984
-
- Clocksin, W.F. and Mellish, C.S: "Programming in Prolog", 3rd Ed.
- Springer Verlag, 1987. (Basic Introduction).
-
- Conlon, Tom: "Programming in Parlog". Addison-Wesley, 1989,
- ISBN 0-201-17450-2.
-
- Covington, M.A.; Nute, D.; and Vellino, A. "Prolog Programming in Depth",
- Scott, Foresman & Co. ISBN: 0-521-40984-5
-
- Yves Deville: "Logic Programming, Systematic Program Development",
- International Series in Logic Programming, Addison-Wesley, 1990, 338 pages.
- ISBN 0-201-17576-2.
-
- Gregory, Steve: "Parallel Logic Programming in Parlog: The Language
- and Its Implementation", Addison-Wesley, 1987, ISBN 0-201-19241-1.
-
- Hogger, C.J.: "Introduction to Logic Programming", Academic Press 1984
-
- O'Keefe, Richard A.: "The Craft of PROLOG", MIT Press, 1990,
- ISBN 0-262-15039-5.
-
- Kluzniak and Szpakowicz: "Prolog for Programmers", Academic Press 1985
-
- Kowalski, R.A.: "Logic for Problem Solving", New York 1979, Elsevier Publ.
-
- LLoyd, John: "Foundations of Logic Programming", 2nd Edition,
- Springer-Verlag, 1988. (Intro to logic programming theory.)
-
- D. Maier, D.S. Warren: "Computing with Logic", Benjamin Cummings, 1989
-
- Peter Ross, "Advanced Prolog: Techniques and Examples",
- Addison-Wesley, 1989, ISBN 0-201-17527-4.
-
- Sterling, Leon (ed): "The Practice of Prolog", MIT Press, 1990
- ISBN 0-262-19301-9
-
- Sterling, Leon, Shapiro, Ehud: "The Art of Prolog: Advanced Programming
- Techniques", MIT Press, 1986 ISBN 0-262-19250-0
-
- David H. D. Warren: "An Abstract Prolog Instruction Set", Technical Note
- No 309, SRI International, Menlo Park, CA, 1983.
-
- David H. D. Warren, "Logic Programming and Compiler Writing," in
- Software-Practice and Experience 10(2), 1980.
-
- Tick, E.: "Parallel Logic Programming". MIT Press, 1991
-
- Magazine Articles:
-
- BYTE Magazine, August 1987. 5 introductory articles on Prolog.
-
- Uwe Schreiweis: Beredte Logik, Konzepte der 'KI-Sprache" Prolog,
- (Eloquent Logic, Concepts of the AI language Prolog), iX Magazine,
- October 1992, pages 84-90.
-
- Uwe Schreiweis: Basis der Fuenf, Die Sprache Prolog in der Public
- Domain, (Base of the Five, Prolog in the Public Domain), iX Magazine,
- October 1992, pages 92-94.
-
- Uwe Schreiweis: Fuenfte Generation, Kommerzielle Prolog-Systeme,
- (Fifth Generation, Commercial Prolog Systems), iX Magazine, October
- 1992, pages 96-102.
-
- Klaus Bothe: Weniger Raum, Speicherplatzbezogener Prolog-Benchmark,
- (Less Space, A Space Oriented Prolog Benchmark), iX Magazine, October
- 1992, pages 106-7.
-
- Magazines Related to Prolog:
-
- AI Communications (4 issues/yr)
- "The European Journal on Artificial Intelligence" ISSN 0921-7126,
- European Coordinating Committee for Artificial Intelligence.
-
- AI Expert (issued monthly) ISSN 0888-3785, Miller Freeman Publishers
- See a copy of the magazine for list of BBS's in NA. On CompuServe: GO
- AIEXPERT. Regularly reviews Prolog interpreters and compilers.
-
- Expert Systems (issued Feb, May, Aug and Nov) ISSN 0266-4720,
- Learned Information (Europe) Ltd. Subscription: GBP 85 or USD 110
-
- IEEE Expert (issued bimonthly) ISSN 0885-9000, IEEE Computer Society
-
- The Journal of Logic Programming (issued bimonthly), (North-Holland),
- Elsevier Publishing Company, ISSN 0743-1066
-
- New Generation Computing, Springer-Verlag. (LOTS of Prolog in it.)
-
- ----------------------------------------------------------------
- Subject: [7] The Prolog 1000 Database
-
- The Prolog 1000 is a database of real Prolog applications being
- assembled in conjunction with the Association for Logic Programming
- (ALP) and PVG. The aim is to demonstrate how Prolog is being used in
- the real world and it already contains over 400 programs with well
- over 2 million lines of code. The database will be published in due
- course and available for research use. If you have or know about a
- program that might qualify for inclusion, send an email message to Al
- Roth (alroth@cix.compulink.co.uk) for an electronic entry form which
- only takes a few minutes to complete. Or write to Prolog 1000, PO Box
- 137, Blackpool, Lancashire, FY2 0XY, U.K., Fax: +44 253 53811
- Telephone: +44 253 58081. (Floppy disks for PC or Mac in text form are
- also welcome, and paper entries may also be sent). Queries may also
- be addressed to: Chris Moss (cdsm@doc.ic.ac.uk), Leon Sterling
- (leon@alpha.ces.cwru.edu).
-
- ----------------------------------------------------------------
-
- ;;; *** Change Log:
- ;;; 13-SEP-92 mk 1.0 Updated and revised Dec 1991 version (0.6).
- ;;;
- ;;; 15-OCT-92 mk 1.1 Updated IF/Prolog entry.
- ;;; 5-NOV-92 mk Info about PSI, Prolog 1000.
- ;;; 6-NOV-92 mk Updated Prolog by BIM and IBM Prolog entries.
-
- ;;; *EOF*
- Xref: bloom-picayune.mit.edu comp.lang.postscript:16097 news.answers:4302
- Newsgroups: comp.lang.postscript,news.answers
- Path: bloom-picayune.mit.edu!enterpoop.mit.edu!spool.mu.edu!uunet!brunix!brunix!jgm
- From: jgm@cs.brown.edu (Jonathan Monsarrat)
- Subject: PostScript monthly FAQ v2.01 11-30-92 [11 of 12]
- Supercedes: <1992Oct29.210913.26168@cs.brown.edu>
- Message-ID: <1992Dec1.055000.15466@cs.brown.edu>
- Followup-To: poster
- Summary: Useful facts about the PostScript graphics programming language
- Sender: news@cs.brown.edu
- Reply-To: jgm@cs.brown.edu (PostScript FAQ comments address)
- Organization: Brown University Department of Computer Science
- Date: Tue, 1 Dec 1992 05:50:00 GMT
- Approved: news-answers-request@MIT.Edu
- Expires: Thu, 31 Dec 1992 00:00:00 GMT
- Lines: 888
-
- Archive-name: postscript-faq/part11
- Last-modified: 1992/11/30
- Version: 2.01
-
- -- PostScript --
-
- Answers to Questions
-
- (the comp.lang.postscript FAQ v2.01)
-
- Jon Monsarrat
-
- jgm@cs.brown.edu
-
-
-
-
-
-
- This FAQ is formatted as a digest.
-
- Most news readers can skip from one question
-
- to the next by pressing control-G.
-
-
- Changes since the last version are marked with a '|' in the table
- of contents and in the sections in the text-only format of the FAQ.
-
- Please help fix the FAQ! All comments should be mailed to
- jgm@cs.brown.edu. My favorite way to receive a change suggestion is
- when it is accompanied by a section of the FAQ that is edited and
- mailed to me verbatim as an example. If you would like to
- contribute, please read the section ``about the FAQ'' first. Thank
- you!
-
- Books and programs are referred to by name only. See the
- appropriate sections for full information.
-
- Subject: 11 About PostScript 2
-
-
- Subject: 11.1 What printers run PostScript 2?
-
-
-
- * Apple LaserWriter IIf
-
-
- * Apple LaserWriter IIg
-
-
- * Apple Personal LaserWriter NTR
-
- Apple sells an upgrade to the IINTX to turn it into a IIf/IIG for
- instance.
-
-
- * Compaq PAGEMARQ 20
-
-
- * Compaq PAGEMARQ 15
-
-
- * Data Products LZR 960
-
-
- * Data Products LZR 1560
-
-
- * Hewlett-Packhard PostScript CartridgePlus, which works with the
- HP Laserjet III, IIID, and IIIP.
-
-
- * NEC SilentWriter2, model 95
-
-
- * Tektronix Phaser III PXi
-
-
- * Tektronix Phaser II PXi
-
-
- * Tektronix Phaser II PXe
-
-
- * Tektronix Phaser IISD
-
-
- * Texas Instruments microLaser Turbo
-
-
- * Texas Instruments microLaser XL Turbo
-
- This rest of file contains a description of PostScript 2 written by
- Carl Orthlieb from Adobe.
-
-
- Subject: 11.2 Introduction
-
- PostScript Level 2, the first major new release of PostScript
- software since its introduction, is a unification and enhancement
- of the PostScript language based on the needs voiced by users of
- PostScript printers and Display PostScript(R) workstations,
- Independent Software Vendors (ISVs), and Original Equipment
- Manufacturers (OEMs). PostScript Level 2 contains a number of
- performance enhancements, is easier for software developers to use,
- and contains important new functionality such as device-independent
- color, forms handling and patterns support.
-